VMX domains can have iopl!=0.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>

diff --git a/xen/arch/x86/dom0_ops.c b/xen/arch/x86/dom0_ops.c
index b933cbdfaae0b2519c0399e0fde4cca2e15d98e5..8eda73be8fdb5bcfd27fa035d02cfd06a260dd08 100644 (file)
--- a/xen/arch/x86/dom0_ops.c
+++ b/xen/arch/x86/dom0_ops.c
@@ -405,7 +405,7 @@ void arch_getdomaininfo_ctxt(
     memcpy(c, &v->arch.guest_context, sizeof(*c));
 
     /* IOPL privileges are virtualised -- merge back into returned eflags. */
-    BUG_ON((c->user_regs.eflags & EF_IOPL) != 0);
+    BUG_ON(((c->user_regs.eflags & EF_IOPL) != 0) && !(VMX_DOMAIN(v)));
     c->user_regs.eflags |= v->arch.iopl << 12;
 
     if ( VMX_DOMAIN(v) )